- Axiomatisierbarkeit
- (f)аксиоматизируемость
Немецко-русский математический словарь. 2013.
Axiomatisierbarkeit
Смотреть что такое "Axiomatisierbarkeit" в других словарях:
Elementare Klasse — Der Begriff elementare Klasse gehört zur Modelltheorie, einem Teilgebiet der mathematischen Logik. Es geht dabei um die Frage, wie sich Klassen von Strukturen durch Sätze der Prädikatenlogik erster Stufe charakterisieren lassen.… … Deutsch Wikipedia
Anatoli Iwanowitsch Malzew — (russisch Анатолий Иванович Мальцев, wiss. Transliteration Anatolij Ivanovič Mal cev; im Englischen transkribiert Anatoly Ivanovich Malcev; * 14.jul./ 27. November 1909greg. in Mischeronski bei Schatura; † 7. Juli 1967 in… … Deutsch Wikipedia
Anatoli Malzew — Anatoli Iwanowitsch Malzew (russisch Анатолий Иванович Мальцев, wiss. Transliteration Anatolij Ivanovič Mal cev; * 14.jul./ 27. November 1909greg. in Mischeronski bei Schatura; † 7. Juli 1967 in Nowosibirsk) war ein russischer Mathematiker und… … Deutsch Wikipedia
Endlichkeitssatz — Der Endlichkeitssatz, auch Kompaktheitssatz genannt, ist einer der wichtigsten Sätze der Aussagenlogik und der Prädikatenlogik erster Stufe. Er besagt: Eine (möglicherweise unendliche) Formelmenge X ist genau dann erfüllbar (d.h. hat ein Modell) … Deutsch Wikipedia
Formalisierte Theorie — Die formalisierte Theorie bezeichnet in der klassischen Mathematik ein Verfahren, wobei die Sätze einer Theorie durch logische Schlüsse aus den Axiomen abgeleitet werden. Zur Formalisierung der Axiome und der Beweise benutzt man dabei die… … Deutsch Wikipedia
Kompaktheitssatz — Der Endlichkeitssatz, auch Kompaktheitssatz genannt, ist einer der wichtigsten Sätze der Aussagenlogik und der Logik erster Stufe. Er besagt: Eine (möglicherweise unendliche) Formelmenge X ist genau dann erfüllbar (d.h. hat ein Modell), wenn jede … Deutsch Wikipedia
Kurt Gödel — als Student der Universität Wien Mitte der 1920er Jahre Kurt Friedrich Gödel (* 28. April 1906 in Brünn, Österreich Ungarn, heute Tschechien; † 14. Januar 1978 in Princeton, New Jersey) war ein österreichisch amerikanischer Mathematiker und einer … Deutsch Wikipedia
